Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
31	UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF Add to Reading List Source URL: www.itr.unisa.edu.au Language: English - Date: 1999-01-26 18:27:05 Economy Software engineering Finance Financial markets Concurrency Diagrams Models of computation Petri nets RM-ODP Option Iterator Trader
32	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-16 07:08:02 Theoretical computer science Electronic engineering Models of computation Electrical engineering Computer arithmetic Digital electronics Logic gates Reversible computing Thermodynamics Adder Fredkin gate Quantum computing
33	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
34	REVERSIBLE COMPUTING Tommaso Toffoli MIT Laboratory for Computer Science Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:06 Mathematics Algebra Models of computation Functions and mappings Mathematical analysis Injective function Reversible computing Inverse element Finite-state machine Mutation Quantum circuit
35	PDF Document Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2016-07-12 03:35:12 Models of computation Concurrency Diagrams Software engineering Petri nets Theoretical computer science Metaphor
36	Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-07-01 11:20:10 Software engineering Computer programming Continuations Subroutines Memory management Control flow Models of computation Continuation-passing style Call stack Call-with-current-continuation Continuation Escape analysis
37	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
38	New-age computing T by Adam Hadhazy 22 Add to Reading List Source URL: www.aerospaceamerica.org Language: English - Date: 2016-06-30 16:35:31 Quantum information science Theoretical computer science Quantum mechanics Physics Quantum computing Emerging technologies Models of computation D-Wave Systems Qubit D-Wave Two Quantum Artificial Intelligence Lab Quantum technology
39	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton
40	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system